refinement operator
英 [rɪˈfaɪnmənt ˈɒpəreɪtə(r)]
美 [rɪˈfaɪnmənt ˈɑːpəreɪtər]
【计】提纯运算符
双语例句
- This paper mainly is automatic refinement of cartesian operator in set theory.
本文主要研究的是集合论中笛卡尔积算子的自动求精。 - ; Fifth, generate target programme ( C++ code) in according to the information in analysis of semantics and symbol table, as well as the refinement rule of set theory operator in generating target code stage.
目标代码生成阶段根据语义分析的信息、符号表的信息以及集合论算子的求精规则产生目标程序，即C++程序代码。